Aspect Diagrams for UML Activity Models
نویسندگان
چکیده
Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides an approach to the organization and management of code that cross-cut elements of the base program or library. Cross-cutting aspects is also an issue within the modeling domain, and it is therefore likely that modeling languages can benefit from the aspect-oriented approach. This paper proposes activity aspect diagrams for UML 2 activity models. Activity aspect diagrams are defined directly in the concrete syntax of activity models in order to enable a user-friendly way of specifying aspects. The activity aspect diagrams and base activity models are transformed into the abstract syntax of algebraic graph transformation systems, where the model weaving is carried out using the well-established AGG tool. The approach is demonstrated by two examples and a proof-of-concept aspect diagram editor has been implemented.
منابع مشابه
Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework
Aspect-Oriented Modeling (AOM) is an emerging solution for handling crosscutting concerns at the software modeling level in order to reduce the complexity of software models and application code. Most existing work on weaving aspects into UML design models is presented from a practical perspective and lacks formal syntax and semantics. In this paper, we propose formal specifications for aspect ...
متن کاملDefining and Validating Metrics for UML Statechart Diagrams
Maintainability is an increasingly relevant quality aspect in the development of object oriented software systems (OOSS). It is generally accepted that OOSS maintainability is highly dependent on the decisions made early in the development life cycle. Conceptual modelling is an important task of this early development. So that the maintainability of conceptual models have a great influence on t...
متن کاملA metamodeling level transformation from UML sequence diagrams to Coq
Modeling is an important aspect of UML formal verification that directly affects the quality and efficiency of the verification. Formal models are the foundation of formal verification. As UML diagrams only have semi-formal semantics, they cannot be used for formal verification directly. Recent studies present model transformation from semi-formal UML models to formal models to solve the issues...
متن کاملModel Composition Directives
An aspect-oriented design model consists of a set of aspect models and a primary model. Each of these models consists of a number of different kinds of UML diagrams. The models must be composed to identify conflicts and analyze the system as a whole. We have developed a systematic approach for composing class diagrams in which a default composition procedure based on name matching can be custom...
متن کاملAspect Oriented UML to ECORE Model Transformation
With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...
متن کامل